effect{-}type(${\it ds}$;${\it ds'}$;${\it da}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$${\it kx}$:Knd$\times$Id fp$\rightarrow$ State(${\it ds}$)$\rightarrow$Valtype(${\it da}$;1of(${\it kx}$))$\rightarrow$${\it ds'}$(2of(${\it kx}$))?Top